Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
241	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:46 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
242	Program Extrapolation with Jennisys K. Rustan M. Leino Aleksandar Milicevic Microsoft Research Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-11-06 16:43:36 Data types Algorithm Mathematical logic Theoretical computer science Eval Constructor Objective-C Concolic testing Control flow Computing Software engineering Computer programming
243	CURRICULUM VITAE August 2014 Willem Conradie Visser Professor Computer Science Add to Reading List Source URL: www.cs.sun.ac.za Language: English - Date: 2014-09-18 08:45:52 Software development Java Pathfinder Software Logic in computer science Model checking Software verification Runtime verification Static program analysis Verification and validation Formal methods Software testing Theoretical computer science
244	PDF Document Add to Reading List Source URL: 66.165.155.81 Language: English - Date: 2011-02-11 11:11:43 Sociology Program evaluation Logic model Health promotion Food and Agriculture Organization Empowerment evaluation MEASURE Evaluation Evaluation methods Evaluation Health
245	PDF Document Add to Reading List Source URL: www.agnb-vgnb.ca Language: English - Date: 2015-01-26 12:58:17 Methodology Impact assessment Program evaluation Logic model Program management Empowerment evaluation Impact evaluation Evaluation Evaluation methods Sociology
246	PDF Document Add to Reading List Source URL: www.hunter.cuny.edu Language: English - Date: 2015-05-30 22:05:23 Logic model Program evaluation Needs assessment Evaluation Evaluation methods Education
247	PDF Document Add to Reading List Source URL: www.lifeeducation.org.au Language: English - Date: 2015-04-28 02:15:57 Law enforcement in the United States Sociology Impact assessment Program evaluation Health education Gang Resistance Education and Training Logic model Role Sustainable consumer behaviour Evaluation Evaluation methods Education in the United States
248	PDF Document Add to Reading List Source URL: www.iuhpe.org Language: English - Date: 2013-07-31 12:23:54 Methodology Impact assessment Program evaluation Logic model Systems engineering process Empowerment evaluation Evaluation approaches Evaluation Evaluation methods Sociology
249	Verifying Eiffel Programs with Boogie Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch Abstract. Static program Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-06-23 07:40:14 Logic in computer science Control flow Object-oriented programming Program logic Procedural programming languages Postcondition Exception handling Eiffel Precondition Software engineering Computing Computer programming
250	Greater Vancouver Cold/Wet Weather Strategy: Evaluation Add to Reading List Source URL: www.raincityhousing.org Language: English - Date: 2008-01-25 21:20:24 Public safety Emergency services Busking Homelessness Humanitarian aid Socioeconomics Logic model Program evaluation Emergency shelter Evaluation methods Evaluation Sociology

UPDATE